89 ideas
| 10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
| 11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
| 11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
| 11011 | Same say there are positive, negative and neuter free logics [Read] |
| 11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| 10986 | Not all validity is captured in first-order logic [Read] |
| 10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
| 11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
| 10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| 10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
| 10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| 10973 | A theory is logically closed, which means infinite premisses [Read] |
| 11007 | Quantifiers are second-order predicates [Read] |
| 10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
| 10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
| 10988 | Any first-order theory of sets is inadequate [Read] |
| 10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
| 10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
| 10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
| 10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
| 11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
| 1553 | No perceptible object is truly straight or curved [Protagoras] |
| 11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
| 21382 | Things get smaller without end [Anaxagoras] |
| 10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
| 10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
| 10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
| 481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
| 21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
| 17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
| 11016 | Would a language without vagueness be usable at all? [Read] |
| 11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
| 11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
| 11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
| 10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
| 11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
| 10989 | The standard view of conditionals is that they are truth-functional [Read] |
| 10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
| 11017 | Some people even claim that conditionals do not express propositions [Read] |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| 10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
| 10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
| 10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
| 10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
| 11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
| 1549 | Everything that exists consists in being perceived [Protagoras] |
| 20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
| 13257 | The senses are too feeble to determine the truth [Anaxagoras] |
| 1545 | Protagoras was the first to claim that there are two contradictory arguments about everything [Protagoras, by Diog. Laertius] |
| 22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
| 1547 | Man is the measure of all things - of things that are, and of things that are not [Protagoras] |
| 3305 | There is no more purely metaphysical doctrine than Protagorean relativism [Benardete,JA on Protagoras] |
| 3313 | If my hot wind is your cold wind, then wind is neither hot nor cold, and so not as cold as itself [Benardete,JA on Protagoras] |
| 3317 | You can only state the problem of the relative warmth of an object by agreeing on the underlying object [Benardete,JA on Protagoras] |
| 247 | God is "the measure of all things", more than any man [Plato on Protagoras] |
| 606 | Protagoras absurdly thought that the knowing or perceiving man is 'the measure of all things' [Aristotle on Protagoras] |
| 612 | Relativists think if you poke your eye and see double, there must be two things [Aristotle on Protagoras] |
| 13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
| 13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
| 10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
| 5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
| 11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
| 10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
| 6016 | Early sophists thought convention improved nature; later they said nature was diminished by it [Protagoras, by Miller,FD] |
| 1580 | For Protagoras the only bad behaviour is that which interferes with social harmony [Protagoras, by Roochnik] |
| 205 | Protagoras contradicts himself by saying virtue is teachable, but then that it is not knowledge [Plato on Protagoras] |
| 18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
| 1659 | Protagoras seems to have made the huge move of separating punishment from revenge [Protagoras, by Vlastos] |
| 532 | Successful education must go deep into the soul [Protagoras] |
| 1552 | He spent public money on education, as it benefits the individual and the state [Protagoras, by Diodorus of Sicily] |
| 631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
| 22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
| 550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
| 21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
| 13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
| 367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
| 21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
| 22726 | When things were unified, Mind set them in order [Anaxagoras] |
| 2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
| 480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
| 7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |
| 1551 | He said he didn't know whether there are gods - but this is the same as atheism [Diogenes of Oen. on Protagoras] |
| 5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |